Runtime verification - PDFSEARCH.IO - Document Search Engine

Runtime verification
Results: 98

#	Item
71	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
72	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
73	Comparing LTL Semantics for Runtime Verification Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-03-20 22:03:52 Metalogic Linear temporal logic Model theory Interpretation Modal logic Function Entailment Logic Temporal logic Philosophical logic
74	Model-based runtime analysis of distributed reactive systems Andreas Klaus Bauer Institut fu ¨ r Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-05-18 18:48:18 Computer science Software engineering Manfred Broy Runtime verification Model checking
75	Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: www.bodden.de Language: English - Date: 2008-08-12 11:24:23 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming
76	Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:14 Hardware verification languages Logic design Formal methods Logic in computer science Hardware Trojan Property Specification Language Runtime verification SystemVerilog Functional verification Electronic engineering Digital electronics Hardware description languages
77	Detection of Intrusion Across Multiple Sensors William Longa, Jon Doyleb, Glenn Burkea, and Peter Szolovitsa aLaboratory for Computer Science, Mass. Inst. Of Technology; bDept. of Computer Science, North Carolina State Add to Reading List Source URL: groups.csail.mit.edu Language: English* - Date: 2003-04-17 13:36:44 Multi-monitor Intrusion detection system Log monitor Operating system Information technology management Computing Audio engineering Technology Runtime verification System administration Display technology Input/output
78	Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems Gabriel Tamura1, Norha M. Villegas2 , Hausi A. M¨ uller3 , Jo˜ ao Pedro Sousa4 , Add to Reading List Source URL: www.savinetwork.ca Language: English - Date: 2013-10-04 17:10:43 Theoretical computer science Software development Software project management Logic in computer science Cybernetics Adaptation Runtime verification Software development process Software testing Formal methods Software engineering Science
79	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2011-03-08 13:23:00 Pharmaceutical industry Validity Technology Quality Evaluation Verification Validation Software development process Runtime verification Science Systems engineering Formal methods
80	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2012-03-13 12:40:54 Applied mathematics Science Quality Systems engineering Automata theory Runtime verification Assertion Specification Model checking Formal methods Theoretical computer science Logic in computer science

UPDATE